翻訳と辞書 Words near each other ・ Romeo Island ・ Romeo James ・ Romeo Jenebyan ・ Romeo Johnson ・ Romeo Juliet (film) ・ Romeo Kambou ・ Romeo Kapudija ・ Romeo Kovac ・ Romeo Kreinberg ・ Romeo Lahey ・ Romeo Lamothe ・ Romeo Lemboumba ・ Romeo Menti ・ Romeo Miller ・ Romeo Mitrović ・ Romeo Model Checker ・ Romeo Montenegro ・ Romeo Muller ・ Romeo Munoz Cachola ・ Romeo Muradyan ・ Romeo Murga ・ Romeo Must Die ・ Romeo Nelson ・ Romeo Neri ・ Romeo Niram ・ Romeo Olea ・ Romeo Ortega ・ Romeo Ovando Parkes ・ Romeo Papini ・ Romeo Parkes Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Romeo Model Checker ： ウィキペディア英語版 Romeo Model Checker Roméo is an integrated tool environment for modeling, validation and verification of real-time systems modeled as time Petri Nets 〔Gardey, G ; ( Lime, D ) ; Magnin, M ; ( Roux, OH ). "Roméo: A tool for analyzing time Petri nets". In 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages 418-423, Edinburgh, Scotland, UK, July 2005. Springer.〕 or stopwatch Petri Nets, extended with parameters.〔( Lime, D ) ; ( Roux, OH ) ; Seidner, C ; Traonouez, LM. "Romeo: A parametric model-checker for Petri nets with stopwatches". In 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), volume 5505 of Lecture Notes in Computer Science, pages 54-57, York, United Kingdom, March 2009. Springer.〕 The tool has been developed by the Real-Time Systems group at IRCCyN lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France. ==External links== *( Web page of Roméo ) *( Web page of IRCCyN lab ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Romeo Model Checker」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.